CSAI Projects

Search

Spring 2025 Projects

Generating Astronomy Olympiad Problems

Svyatoslav Suglobov

Toward Better Depth Lower Bounds: Composition of Boolean Functions and the KRW Conjecture

Nikolai Chukhin

Duckiebot Autonomous Driving Stack

Maria Fadeeva, Artem Grigorash, Egor Lomakin, Ivan Voevodskiy

IWLS 2025 Competition on Boolean Circuit Synthesis

Stanislav Alekseev, Timur Degteari, Gregory Emdin, Mikhail Goncharov, Ilia Kondakov, Fedor Kurmazov, Maksim Levitskii, Georgii Levsov, Maksim Shevkoplias, Roman Shumilov

Manifold Learning: Geometric Structure Recovery Methods for Evolutionary Space Research

Bogdan Iashchenko, Petr Popov

RAID Operations on GPU with OpenCL

Stepan Maliarovskii

Tic-tac-toe with Robot Arm

Mikhail Malugin